discrete mathematics unit 4